Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add fuzzing target to fuzz return type and parameters #301

Merged
merged 2 commits into from
Mar 5, 2025

Conversation

ludfjig
Copy link
Contributor

@ludfjig ludfjig commented Feb 28, 2025

  • Adds 2 new fuzzing target for fuzzing parameters to guest funcs and host funcs respectively.
  • Renames existing fuzzing target to host_print.
  • Make fuzzing more efficient by re-using sandbox
  • Fixes our cron fuzz target which is supposed to fuzz for a long time every sunday, but was only fuzzing for 5 minutes
  • Moves fuzzing up to root directory

  • Second commit fixes a bug that host_call fuzz target found, where RSP kept decreasing after each dispatch, and eventually caused an error. RSP should be reset every dispatch. The new logic resets RSP before each dispatch to the original RSP (which points to beginning of stack). I applied the new logic to all 3 drivers, even though the bug only manifested on KVM.

In order to merge this PR, we need to remove fuzz/fuzzing status check from branch protection, as this PR changes the name of that job to fuzz/fuzzing (guest_call) and fuzz/fuzzing (host_print)

@ludfjig ludfjig force-pushed the fuzz_parameters branch 2 times, most recently from b2d86f7 to 42f6f6c Compare February 28, 2025 18:49
@ludfjig ludfjig marked this pull request as ready for review February 28, 2025 19:19
dblnz
dblnz previously approved these changes Mar 3, 2025
Copy link
Contributor

@dblnz dblnz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!
Good work on improving the verifications we do on the changes.

@ludfjig ludfjig changed the title Change fuzzing target to fuzz return type and parameters Add fuzzing target to fuzz return type and parameters Mar 4, 2025
@ludfjig ludfjig force-pushed the fuzz_parameters branch 12 times, most recently from e4443f9 to 2e2c893 Compare March 4, 2025 22:04
@simongdavies
Copy link
Contributor

In order to merge this PR, we need to remove fuzz/fuzzing status check from branch protection, as this PR changes the name of that job to fuzz/fuzzing (guest_call) and fuzz/fuzzing (host_print)

I removed the fuzz check temporarily, once this merges let me know and I will add the 2 new ones

simongdavies
simongdavies previously approved these changes Mar 5, 2025
guest and host function calls. Rename
existing target to host_print. Move fuzz directory to root directory.

Signed-off-by: Ludvig Liljenberg <lliljenberg@microsoft.com>
Signed-off-by: Ludvig Liljenberg <lliljenberg@microsoft.com>
Copy link
Contributor

@marosset marosset left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@ludfjig ludfjig merged commit 5d02d03 into hyperlight-dev:main Mar 5, 2025
23 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants